[submodule "std-lib"]
	path = std-lib
	url = https://github.com/agda/agda-stdlib
	branch = experimental
[submodule "cubical"]
	path = cubical
	url = https://github.com/agda/cubical
